Weakness is a virtue
نویسنده
چکیده
The number of interleavings that a concurrent program can have is typically given as the key difficulty in automatic analysis of concurrent software. Weak memory, as implemented by modern multiprocessors such as Intel x86, IBM Power and ARM, is generally believed to make this problem even harder. On the contrary, we believe that by embracing rather than fleeing from weak memory, we can obtain efficient verification techniques.
منابع مشابه
Mulla Sadra on Virtue and Action
This paper sheds light on the views of Mulla Sadra about virtue and action. The main question is how he explains the relationship, if any, between virtue and action. Mulla Sadra defines moral virtue as a settled inner disposition by which one acts morally, without need for any reflection or deliberation. This study seeks to explain how, according to Mulla Sadra, a virtue motivates the agent and...
متن کاملEpistemic Virtue from the Viewpoints of Mulla Sadra and Zagzebski
This paper compares epistemic virtue from the viewpoints of Zagzebski and Mulla Sadra, aiming to determine the extent to which their viewpoints on epistemic virtue are similar. Zagzebski, the contemporary philosopher, considers epistemic virtue as the basis on which knowledge is interpreted. She sees epistemic virtue as a requirement for achieving knowledge. Mulla Sadra, the founder of Transcen...
متن کاملCritical Virtue Ethics
Since the publication of Anscombe’s famous paper “Modern Moral Philosophy” (1958), virtue ethics has become a matter of discussion among scholars. At least four charges have been raised against virtue ethics, one of which is the charge of promoting undue enthusiasm regarding the moral fitness of human beings. This article explores the limits of virtue ethics with regard to the frailty of human ...
متن کاملA Critical Study of McIntyre’s Conception of Virtue Based on Martyr Motahhari’s Views
Given that the effects of the lack of moral sovereignty are becoming increasingly apparent in societies, and that especially developed societies in this regard are encountered with widespread challenges, discussion about moral philosophy is inevitable. Differences of opinions in moral philosophy have made the comparative comparison of different perspectives in this respect doubly important. Rel...
متن کاملاخلاق فضیلت و تصمیمگیری اخلاقی در پزشکی
Virtue ethics is an agent-centered approach that is concerned with good and bad character rather than right or wrong action. It is based on the virtues and moral character of the agent. Morality of the physician is emphasized in medicine as well, which demonstrates its affinity with virtue ethics. Nevertheless, a theory of applied or medical ethics should provide a criterion for ethical decisio...
متن کامل